home *** CD-ROM | disk | FTP | other *** search
/ Aminet 6 / Aminet 6 - June 1995.iso / Aminet / misc / sci / Deduce122.lha / Deduce / Sample < prev   
Encoding:
Text File  |  1995-03-18  |  338 b   |  16 lines
  1. Spot is a dog.
  2. A dog is an animal.
  3. A dog will eat dog_food.
  4. A dog is not a cat.
  5. Chunkies is a dog_food.
  6. A cat is an animal.
  7. A horse is an animal.
  8. A horse will eat hay.
  9. A horse will drink water.
  10. A horse will not eat meat.
  11. A square is a rectangle.
  12. A rectangle is a polygon.
  13. A liquid will evaporate.
  14. Water is a liquid.
  15. Alcohol is a liquid.
  16. &